11.17/13.67	unsat
