14.48/17.95	unsat
