14.77/14.81	unsat
