23.67/26.75	unsat
