13.46/15.04	unsat
