18.33/21.96	unsat
