23.79/25.65	unsat
