14.56/14.68	unsat
