268.05/268.42	unsat
