5.38/6.06	unsat
