23.79/26.08	unsat
