13.17/13.67	unsat
