1.79/3.47	unsat
