23.68/25.65	unsat
