14.26/17.67	unsat
