14.88/14.94	unsat
