23.75/26.21	unsat
