4.68/7.32	unsat
