20.95/24.19	unsat
