14.77/14.89	unsat
