18.68/22.31	unsat
