18.93/21.91	unsat
