5.34/8.04	unsat
