3.09/5.64	unsat
