3.91/6.34	unsat
