1.48/3.42	unsat
