5.88/8.15	unsat
