14.89/17.67	unsat
