23.15/25.21	unsat
