7.87/10.15	unsat
