7.34/10.15	unsat
