11.67/13.61	unsat
