13.57/13.67	unsat
