5.99/8.40	unsat
