21.45/24.24	unsat
