5.67/8.04	unsat
