1.29/1.49	unsat
