21.31/24.71	unsat
