23.16/26.02	unsat
