23.43/26.08	unsat
