14.69/16.62	unsat
