14.95/15.30	unsat
