14.95/18.04	unsat
