5.27/8.04	unsat
