26.06/26.11	unsat
