1.03/1.06	unsat
