8.47/10.15	unsat
