14.48/14.54	unsat
