14.46/17.67	unsat
