12.68/15.04	unsat
