22.48/25.03	unsat
