14.84/17.67	unsat
