7.90/10.15	unsat
