23.77/26.51	unsat
