13.76/14.81	unsat
