1.30/3.55	unsat
