1.28/3.42	unsat
