18.26/27.73	unsat
