22.21/25.47	unsat
