1.29/3.42	unsat
