18.26/18.44	unsat
