1.48/3.29	unsat
