13.68/15.10	unsat
