14.41/14.48	unsat
