17.54/18.56	unsat
