5.08/7.94	unsat
