21.43/24.21	unsat
