5.99/7.15	unsat
