13.27/14.81	unsat
