22.77/25.32	unsat
