13.66/17.67	unsat
