14.06/14.23	unsat
