15.96/17.23	unsat
