23.02/25.39	unsat
