18.84/22.42	unsat
