1.29/3.94	unsat
