14.69/16.67	unsat
