292.26/293.06	unsat
