20.93/22.33	unsat
