5.41/8.00	unsat
