18.47/18.56	unsat
