1.43/3.49	unsat
