20.64/24.21	unsat
