13.67/13.72	unsat
